Theoretical Computer Science

A neural compiler

Theoretical Computer Science / Neural Network / Mathematical Sciences

A Neural Compiler

Theoretical Computer Science / Neural Network / Mathematical Sciences

A type assignment system for game semantics

Theoretical Computer Science / Lambda Calculus / Mathematical Sciences / Game semantics / Semantic Interpretation

Abstract data type systems

Polymorphism / Theoretical Computer Science / Lambda Calculus / Higher Order Thinking / Mathematical Sciences / Pure Type Systems / Pattern Matching / First-Order Logic / Functional Type / Abstract Data Type / Programming language / Data Type / Pure Type Systems / Pattern Matching / First-Order Logic / Functional Type / Abstract Data Type / Programming language / Data Type

Inductive-data-type systems

Theoretical Computer Science / Higher Order Thinking / Mathematical Sciences / Computer Model / Pattern Matching / Algebraic Specification / Strong Normalization / Abstract Data Type / Data Type / Functional Language / Algebraic Specification / Strong Normalization / Abstract Data Type / Data Type / Functional Language

Concrete data structures and functional parallel programming

Functional Programming / Theoretical Computer Science / Higher Order Thinking / Data Structure / Mathematical Sciences / Semantic model / Functional Language / Semantic model / Functional Language

Autonomous programmable DNA nanorobotic devices using DNAzymes

Robotics / Design / RNA / Behavior / Routing / Self Assembly / Theoretical Computer Science / Molecular Computing / DNA / Molecular / Transition / Conception / Finite State Automaton / Mathematical Sciences / ROBOT / Nanostructure / Transduction / Lattice / Enzyme / Mathematical Model / Secondary Structure / Finite State Automata / Autonomous / Biomolecular / Probabilistic Automata / Stochastic Model / Cycle / Computer / Nucleic Acid / Self Assembly / Theoretical Computer Science / Molecular Computing / DNA / Molecular / Transition / Conception / Finite State Automaton / Mathematical Sciences / ROBOT / Nanostructure / Transduction / Lattice / Enzyme / Mathematical Model / Secondary Structure / Finite State Automata / Autonomous / Biomolecular / Probabilistic Automata / Stochastic Model / Cycle / Computer / Nucleic Acid

Two-sorted metric temporal logics

Theoretical Computer Science / Mathematical Sciences

Predecessor existence problems for finite discrete dynamical systems

Computational Complexity / Cellular Automata / Theoretical Computer Science / Recurrent Neural Network / Mathematical Sciences / Liquid State Machine / Hardware Verification / Liquid State Machine / Hardware Verification

From object grammars to ECO systems

Theoretical Computer Science / Mathematical Sciences

A partial ordering semantics for CCS

Theoretical Computer Science / Mathematical Sciences

Specification of abstract dynamic-data types: A temporal logic approach

Theoretical Computer Science / Mathematical Sciences / Dynamic Panel Data / First Order Logic / Temporal Logic

Number-conserving cellular automata I: decidability

Cellular Automata / Theoretical Computer Science / Mathematical Sciences / Linear-time algorithm

The passport control problem or how to keep a dynamic service system load balanced?

Theoretical Computer Science / Mathematical Sciences

Algébres associatives et calcul formel

Theoretical Computer Science / Mathematical Sciences / Point of View

P systems with minimal parallelism

Membrane Computing / Theoretical Computer Science / Computing / Mathematical Sciences / Region / Universality / Space Time / Membrane / Satisfiability Problem / Point of View / Restriction / Universality / Space Time / Membrane / Satisfiability Problem / Point of View / Restriction

Copyright © 2017 DADOSPDF Inc.